Section: Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
RTOS Contract
-
Title: Static Analysis of a Fragment of an Operating-System with AstréeA
-
Partners: École Normale Supérieure (France), CNRS (France), Airbus France (France)
-
Abstract: The aim of the contract is to study the formal verification of the safety of a fragment of a small real-time multi-task operating system. The verification will be performed using the AstréeA analyzer, by adapting and extending the model of parallel executions developed at École Normale Supérieure.